module top_module(
    input a,
    input b,
    input c,
    output out  ); 

    assign out = a | b | c;

    // SOP(最小项之和) form: Three prime implicants (1 term each), summed.
	// POS(最大项之积) form: One prime implicant (of 3 terms)
	// In this particular case, the result is the same for both SOP and POS.
	//assign out = (a | b | c);

endmodule
